Fundamental Raises $255M for Foundational Model on Tabular Data

In a stunning demonstration of AI's advancing intellectual capabilities, startup Axiom has announced its AI system found solutions to four long-standing, previously unsolved mathematical problems. This achievement moves AI beyond pattern recognition and into the realm of deep, formal reasoning and conjecture. The problems, which had resisted solutions from human mathematicians, span different areas of pure mathematics. The AI's success suggests it can contribute meaningfully to fundamental research by exploring novel proof pathways and making non-intuitive logical leaps that might elude human intuition. The system likely operates by combining vast knowledge of mathematical literature with advanced symbolic reasoning and search techniques. This breakthrough is more than a technical milestone; it signals a shift in the potential relationship between AI and scientific discovery. While not replacing human mathematicians, such AI systems can act as powerful collaborators, proposing new th